group of units in group theory